A discrete event system specification (DEVS)-based model of consanguinity
نویسندگان
چکیده
منابع مشابه
A discrete event system specification (DEVS)-based model of consanguinity
Consanguinity or inter-cousin marriage is a phenomenon quite prevalent in certain regions around the globe. Consanguineous parents have a higher risk of having offspring with congenital disorders. It is difficult to model large scale consanguineous parental populations because of disparate cultural issues unique to regions and cultures across the globe. Although consanguinity has previously bee...
متن کاملDevelopment of Discrete Event System Specification (DEVS) Building Performance Models for Building Energy Design
The discrete event system specification (DEVS) is a formalism for describing simulation models in a modular fashion. In this study, it is exploited by forming submodels that allow different professions involved in the building design process to work independently to create an integrated model. These submodels are the building, the HVAC system, and the occupant. In this study, a coupled DEVS bui...
متن کاملDiscrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully implemented in a commercially available tool suite. We argue that the DEVS formalism is more expressive than StateCharts and can also be applied to the design of such systems. In this paper we want to show that we can in fa...
متن کاملPrinciples of Discrete Event System Specification model verification
Real-time systems modeling and verification is a complex task. In many cases, formal methods have been employed to deal with the complexity of these systems, but checking those models is usually unfeasible. Modeling and simulation methods introduce a means of validating these model’s specifications. In particular, Discrete Event System Specification (DEVS) models can be used for this purpose. H...
متن کاملSiMA: a discrete event system specification-based modelling and simulation framework to support model composability
In this paper we briefly present our views on composability of models and interoperation of simulations; we introduce our simulation software framework, namely Simulation Modelling Architecture (SiMA), and we present our contributions to the underlying formal model (i.e. discrete event system specification). We also present our simulation construction environment, which supports composability o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Theoretical Biology
سال: 2011
ISSN: 0022-5193
DOI: 10.1016/j.jtbi.2011.05.038